1. Agent technology from a formal perspectiv
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)--Design,Formal methods (Computer science)
رده :
QA
,
76
.
76
,.
I58
,
A36
,
2005
2. Agent technology from a formal perspective
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده: edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
4. Agent technology from a formal perspective
پدیدآورنده: / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
5. Agent technology from a formal perspective
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Intelligent agents (Computer software) ; Design. ; Formal methods (Computer science) ;
6. Agent technology from a formal perspective
پدیدآورنده: / Christopher A. Rouff with Michael Hinchey
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Intelligent agents (Computer software),Intelligent agents (Computer software) -- Design,Formal methods (computer science)
رده :
QA
76
.
76
.
I58A36
2005
7. Algorithmic learning theory :
پدیدآورنده: Jyrki Kivinen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
8. Communication and Cooperation in Agent Systems :
پدیدآورنده: edited by Afsaneh Haddadi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
E358
1996
9. Emergent Web intelligenc
پدیدآورنده: / editors, Youakim Badr ... [et al.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Semantic Web,Expert systems (Computer science),Electronic books
رده :
TK5105
.
88815
E438
2010
